Tootfinder

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski, Alexandra Silva
https://arxiv.org/abs/2404.05097

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
We present a novel \emph{weakest pre calculus} for \emph{reasoning about quantitative hyperproperties} over \emph{nondeterministic and probabilistic} programs. Whereas existing calculi allow reasoning about the expected value that a quantity assumes after program termination from a \emph{single initial state}, we do so for \emph{initial sets of states} or \emph{initial probability distributions}. We thus (i)~obtain a weakest pre calculus for hyper Hoare logic and (ii)~enable reasoning about so-…

Deafblind man makes complaint to Job Centre after being offered an ‘interpreter’ only qualified to BSL Level 3 (BSL) https://limpingchicken.com/2024/03/04/deafblind-man-makes-complain…

Deafblind man makes complaint to Job Centre after being offered an ‘interpreter’ only qualified to BSL Level 3 (BSL)
A deafblind man has made a complaint to Job Centre Plus after being given a BSL Level 3 ‘interpreter’ to facilitate communication, which led to him leaving his appointment. James Clarke, from Surre…

Stromverbrauch Hamburgs für Straßenbeleuchtung durch LED stark gesunken
In deutschen Straßen werden nach und nach die Lampen ausgetauscht. In Hamburg zeigt sich in konkreten Zahlen, wie viel das bringt.

Comparative Study of Sand Drawings in Oceania and Africa
Linbin Wang, Rowena Ball, Hongzhang Xu
https://arxiv.org/abs/2404.04798 https://

Comparative Study of Sand Drawings in Oceania and Africa
People typically consider only European mathematics as orthodox, often intentionally or unintentionally overlooking the existence of mathematics from non-European societies. Inspired by Maria Ascher's two well-known papers on sand drawings in Oceania and Africa, this paper focuses on the strong link between modern mathematics and the mathematics behind the sand drawings. Beginning with a comparison of the geography, history, and the cultural context of sand drawings in Oceania and Africa, we wi…

Der Lampenschirm in #Buchenwlad war doch aus #Menschenhaut.
#Nazis

Stabiler Move von #DasLumpenpack! :nonazis: :fckafd:
Ist aber auch ein wirklich toller Song, den man sehr gut in Heavy Rotation spielen kann!
https://songwhip.com/das-lumpenpack/ka…

Kann es sein, dass du dumm bist? by Das Lumpenpack
Listen to "Kann es sein, dass du dumm bist?" by Das Lumpenpack on any music platform - Free smart music links by Songwhip

🔊 #NowPlaying on BBCRadio2's #OwainWynEvans
Liam Payne:
🎵 Teardrops
#LiamPayne
https://open.spotify.com/track/2SYovto91rjt4Dh5w330JJ
https://sielrecords.bandcamp.com/track/liam-payne-teardrops-instrumental

One of the best #BlackMetal albums of all the time: In Abhorrence Dementia, by Limbonic Art.
https://www.youtube.com/watch?v=IPuosoeiq74

🔊 #NowPlaying on BBCRadio2's #OJBorg
Liam Payne:
🎵 Teardrops
#LiamPayne
https://open.spotify.com/track/2SYovto91rjt4Dh5w330JJ
https://sielrecords.bandcamp.com/track/liam-payne-teardrops-instrumental

🔊 #NowPlaying on BBCRadio2's #TheZoeBallBreakfastShow
Liam Payne:
🎵 Teardrops
#LiamPayne
https://open.spotify.com/track/2SYovto91rjt4Dh5w330JJ
https://sielrecords.bandcamp.com/track/liam-payne-teardrops-instrumental